partial correctness proof
un. 部分正確性證明
熱門查詢
- griping adj. 絞腸的 v. 抓?。╣ripe的現(xiàn)在分詞）
- impoverish vt. 使貧窮；使枯竭
- incalculably adv. 無數(shù)地；不可勝數(shù)地
- nonradioactive n. 非放射性 adj. 非放射性
- coccyx n. 尾骨；尾椎
- subnormal n. 弱智者 adj. 低于正常的；低能的
- earwig n. 蠼螋；地蜈蚣 vt. 偷聽；暗中唆使
- luxurious adj. 奢侈的；豐富的；放縱的；特級(jí)的
- lurk vi. 潛伏；潛藏；埋伏 n. 潛伏；埋伏
- subnational adj. 低于國(guó)家的/地方的
- suffice vt. 使?jié)M足；足夠…用；合格 vi. 足夠；有能力
- eyedrop n. 眼藥水；眼淚
- nutriment n. 營(yíng)養(yǎng)物；促進(jìn)生長(zhǎng)的東西
- corduroy n. [紡] 燈芯絨，楞條花布；燈芯絨褲子；用燈芯絨布制的衣服 adj. 燈芯絨做的；泥地上用木頭鋪排成的
- overdetermine vt.[心]由多種因素決定
- fuselage n. [航] 機(jī)身（飛機(jī)）
- lacklustre adj. 無光澤的；無生氣的 n. 無光澤；無生氣
- gunship n. （美）武裝直升機(jī)
- Mrs n. 太太；夫人（用于已婚婦女姓名前的尊稱）
- skyrocket n. 流星煙火；沖天火箭 vi. 飛漲，突然高升 vt. 使…猛然上漲
